What (who) is deductive database - definition

DATABASE SYSTEM

deductive database

<database> A combination of a conventional database containing facts, a knowledge base containing rules, and an inference engine which allows the derivation of information implied by the facts and rules. Commonly, the knowledge base is expressed in a subset of first-order logic and either a SLDNF or Datalog inference engine is used. (1995-04-27)

database

ORGANIZED COLLECTION OF DATA IN COMPUTING

Database management system; DBMS; Database/Applications; Database system; List of database servers; List of Database Servers; Data base; Database software; Databases; Distributed data base; Database language; Dbms; Database Management System; Database management systems; Database systems; Data Base; Database instance; Distributed database management system; DDBMS; Distributed Database Management System; Data base management system; Database manager; Computer database; Database programming; Database development; Replication transparency; Forensic database; Db management; Database Management; Data bases; Database management software; Database System; Relation-valued attribute; Information Principle; Database Manager; Query Processing; Database query; Public database; D-base; DBMSs; Enterprise database management; Database management program; Database information system; Database management; Computer Databases; DB file; Types of DBMS; Database queries; Data-base; Scientific database; Research database; Numeric database; General-purpose DBMS; Distributed databases; DataBase; Database backend; Electronic data processing database; Public databases; History of database systems; Static analysis of query languages; Database (computing); Database languages

also data base (databases)

A database is a collection of data that is stored in a computer and that can easily be used and added to.

They maintain a database of hotels that cater for businesswomen.

N-COUNT

DBMS

ORGANIZED COLLECTION OF DATA IN COMPUTING

database management system

Wikipedia

Deductive database

A deductive database is a database system that can make deductions (i.e. conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases. Deductive databases have grown out of the desire to combine logic programming with relational databases to construct systems that support a powerful formalism and are still fast and able to deal with very large datasets. Deductive databases are more expressive than relational databases but less expressive than logic programming systems. In recent years, deductive databases such as Datalog have found new application in data integration, information extraction, networking, program analysis, security, and cloud computing.

Deductive databases reuse many concepts from logic programming; rules and facts specified in the deductive database language Datalog look very similar to those in Prolog. However important differences between deductive databases and logic programming:

Order sensitivity and procedurality: In Prolog, program execution depends on the order of rules in the program and on the order of parts of rules; these properties are used by programmers to build efficient programs. In database languages (like SQL or Datalog), however, program execution is independent of the order of rules and facts.
Special predicates: In Prolog, programmers can directly influence the procedural evaluation of the program with special predicates such as the cut, this has no correspondence in deductive databases.
Function symbols: Logic Programming languages allow function symbols to build up complex symbols. This is not allowed in deductive databases.
Tuple-oriented processing: Deductive databases use set-oriented processing while logic programming languages concentrate on one tuple at a time.

https://en.wikipedia.org/wiki/Deductive database